#include "kernel-cpp/kernel-class.h"

KernelClass::KernelClass() : number_(123456) {}

KernelClass::~KernelClass() {}

int KernelClass::getNumber() { return number_; }

void KernelClass::setNumber(int number) {number_ = number; }
